(declare-const v1 Bool)
(declare-const v2 Bool)
(declare-const v4 Bool)
(declare-const r0 Real)
(declare-const r4 Real)
(declare-const v9 Bool)
(assert (or (not (and v4 v2 v1 v4 v9))))
(assert (or (distinct (abs (- r4 (abs r0) (* r0 r0 r0) r0 0.79891)) (abs r0) (* r0 r0 r0))))
(check-sat)
